Non-classical logic - PDFSEARCH.IO - Document Search Engine

Non-classical logic
Results: 703

#	Item
161	Lectures on PROBABILISTIC LOGICS AND THE SYNTHESIS OF RELIABLE ORGANISMS FROM UNRELIABLE COMPONENTS delivered by Add to Reading List Source URL: www.sns.ias.edu Language: English - Date: 2012-06-28 07:44:26 Non-classical logic Austrian nobility Hungarian nobility John von Neumann Probabilistic logic Automaton Logic Science Mathematics Academia
162	arXiv:1412.5090v2 [cs.LO] 17 DecBelief as Willingness to Bet Jan van Eijck Bryan Renne∗ Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-12-18 22:39:50 Mathematics Non-classical logic Philosophical logic Epistemology Probabilistic logic Normal distribution Probability interpretations Probability Modal operator Logic Mathematical logic Modal logic
163	Two puzzles about requirements Rick Nouwen June 17, 2010 Abstract I discuss the semantics of statements of minimum and maximum requirement. I show that, on standard assumptions, such statements receive a non-sensical int Add to Reading List Source URL: ricknouwen.org Language: English - Date: 2012-02-06 04:55:27 Modal logic Non-classical logic Possibility Linguistic modality Entailment Interpretation Possible world Maxima and minima Quantification Logic Philosophical logic Semantics
164	Dynamic Logic for Security (DYLOS) Abstract The research proposed in this document focuses on the application of dynamic logic in the analysis and design of security protocols. We adopt the intentional approach of multi Add to Reading List Source URL: www.cs.rug.nl Language: English - Date: 2009-02-27 08:29:43 Modal logic Logic in computer science Non-classical logic Philosophical logic Artificial intelligence Epistemic modal logic Burrows–Abadi–Needham logic Temporal logic Dynamic logic Logic Mathematical logic Mathematics
165	A Cloud Trust Evaluation System Using Hierarchical Fuzzy Inference System for Service Selection Add to Reading List Source URL: www.cloudbus.org Language: English - Date: 2014-06-16 02:04:54 Fuzzy logic Non-classical logic Cloud computing Security Fuzzy control system Computer security Logic Artificial intelligence Logic in computer science
166	CALL FOR PAPERS Thirtieth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICSJuly 6–10, 2015, Kyoto, Japan http://lics.rwth-aachen.de/lics15/ Add to Reading List Source URL: lics.rwth-aachen.de Language: English - Date: 2015-01-16 03:22:08 Formal sciences Mathematical logic Logic in computer science IEEE Symposium on Logic in Computer Science Philosophical logic Kleene award Theoretical computer science Modal logic Description logic Logic Science Non-classical logic
167	Planning with Numerical State Variables through Mixed Integer Programming Menkes van den Briel Subbarao Kambhampati Add to Reading List Source URL: www.menkes76.com Language: English - Date: 2012-10-28 20:23:33 Planning Domain Definition Language Cutting-plane method Artificial intelligence Applied mathematics Mathematics Non-classical logic Logic programming Operations research Automated planning and scheduling Mathematical optimization
168	Multi-scale deep learning for gesture detection and localization 1,2 Natalia Neverova Add to Reading List Source URL: www.uoguelph.ca Language: English - Date: 2014-12-09 21:23:28 Non-classical logic Philosophical logic Gesture recognition Gesture Imaging Segmentation Logic Vision Modal logic
169	Curriculum Vitae Paola Bruscoli Research Fellow (EPSRC) at University of Bath http://www.cs.bath.ac.uk/pb/ March 30, 2013 Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2013-03-30 11:16:35 Theoretical computer science Automated theorem proving Non-classical logic Substructural logic Calculus of structures Logic programming International Colloquium on Automata Languages and Programming Linear logic Logic Formal sciences Mathematical logic
170	Double Negation Translations as Morphisms Olivier Hermant CRI, MINES ParisTech December 12, 2014 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-23 09:42:55 Proof theory Logic in computer science Propositional calculus Mathematical constructivism Intuitionistic logic Non-classical logic Sequent calculus Negation Natural deduction Mathematical logic Logic Mathematics

UPDATE